De Finetti Coherence and Logical Consistency
نویسندگان
چکیده
منابع مشابه
De Finetti Coherence and Logical Consistency
The logical consistency of a collection of assertions about events can be viewed as a special case of coherent probability assessments in the sense of de Finetti.
متن کاملDe Finetti , Countable Additivity , Consistency and Coherence
Many people believe that there is a Dutch Book argument establishing that the principle of countable additivity is a condition of coherence. De Finetti himself did not, but for reasons that are at first sight perplexing. I show that he rejected countable additivity, and hence the Dutch Book argument for it, because countable additivity conflicted with intuitive principles about the scope of aut...
متن کاملDe Finetti Coherence and Beyond
The aim of the tutorial is to present the concept of coherence, which dates back to de Finetti, showing its role in managing incomplete (or missing) information. We will start recalling the notion of coherence for (unconditional) probabilities and the related fundamental theorem. Then, in order to generalize this notion to assessments on a set of conditional events, the axiomatic definition of ...
متن کاملOn De Finetti coherence and Kolmogorov probability
This article addresses the problem of existence of a countably additive probability measure in the sense of Kolmogorov that is consistent with a probability assignment to a family of sets which is coherent in the sense of De Finetti. c © 2003 Elsevier B.V. All rights reserved. PACS: 37AXX; 60XX; 60AXX
متن کاملComputable de Finetti measures
We prove a uniformly computable version of de Finetti’s theorem on exchangeable sequences of real random variables. As a consequence, exchangeable stochastic processes in probabilistic functional programming languages can be automatically rewritten as procedures that do not modify non-local state. Along the way, we prove that a distribution on the unit interval is computable if and only if its ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2009
ISSN: 0029-4527
DOI: 10.1215/00294527-2009-002